Discrete dualities for some algebras with relations
نویسندگان
چکیده
In this paper we present a unifying discrete framework for various representation theorems in the field of spatial reasoning. We also show that the universal and existential quantifiers of restricted scope used in first order languages and represented as binary relations in the syllogistic algebras considered in [12] may be studied in this framework.
منابع مشابه
Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras
Discrete dualities are developed for n-potent MTL–algebras and for 2-potent BL–algebras. That is, classes of frames, or relational systems, are defined that serve as dual counterparts to these classes of algebras. The frames defined here are extensions of the frames that were developed for MTL– algebras in [25], [26]; the additional frame conditions required are given here and also the proofs t...
متن کاملCanonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras
The paper investigates completions in the context of finitely generated lattice-based varieties of algebras. In particular the structure of canonical extensions in such a variety A is explored, and the role of the natural extension in providing a realisation of the canonical extension is discussed. The completions considered are Boolean topological algebras with respect to the interval topology...
متن کاملPartition-induced natural dualities for varieties of pseudo- complemented distributive lattices
A natural dl:sitty is obtained for each finitely generated variety B,, (n < CG) of distributive p-algebras. 7 he duality for B,, is based on a schizophrenic object: E:, in B,, is the algebra 2” @ 1 which gencrates the b:uiety and c?, is a topological relationai structure carrying the discrete topology and a set of Qcbraic reititions. The relations arc (i) the graphs of a (3-element) generating ...
متن کاملSTONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملOPTIMAL NATURAL DUALITIES FOR SOME QUASIVARIETIES OF DISTRIBUTIVE DOUBLE p–ALGEBRAS
Quasivarieties of distributive double p-algebras generated by an ordinal sum M of two Boolean lattices are considered. Globally minimal failsets within S(M2) are completely determined; from them all the optimal dualities for these quasivarieties are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Meth. Program.
دوره 83 شماره
صفحات -
تاریخ انتشار 2014